On the Representation of Deadlines in a Rental Agreement

Many agreements and contracts contain deadlines. Because deadlines combine time and obligations, they are naturally studied by a combination of temporal logic with deontic logic [2]. A deadline, that φ should occur before δ , can be expressed as a formula which involves the ‘until’-operator: OBL(φUδ ). However, such a characterisation does not indicate what will happen after the deadline. Since deadlines can have different functions, it is likely that several notions of deadlines can be distinguished. Recently, we have presented a conceptual analysis of deadlines, based on the following parameters: whether we are dealing with an achievement or maintenance obligation. persistence of the obligation after the deadline, the choice of modal operators (permission or obligation) and the presence of an explicit or implicit sanction [3].